Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
You got it.
答对了。
A wise man thinks all that he says,a fool says all that he thinks.
聪明人想了才说，愚笨的人想着就说。
I'm happy to meet you.
很高兴见到你。